Determinism vs freedom: some ethics-social implications

Determinism Should Ensure Deadlock-Freedom

This program creates two tasks, f and g, and runs them in parallel. The par statement blocks until both f and g terminate. c is a channel and both a and b are incarnations of c. g takes c by out (reference); any modification of b is therefore reflected in main’s c. f takes c by in (value), and hence f maintains a local copy of c. Suppose f wants to receive the updated value, then it explicitly ...

Strong Determinism vs . Computability ∗

Are minds subject to laws of physics? Are the laws of physics computable? Are conscious thought processes computable? Currently there is little agreement as to what are the right answers to these questions. Penrose ([41], p. 644) goes one step further and asserts that: a radical new theory is indeed needed, and I am suggesting, moreover, that this theory, when it is found, will be of an essenti...

Social and Ethical Responsibility against Social Determinism

Background: Because of the highlighted role of ethical responsibility in social and individual life, it is looked as an important issue in ethics area. Social responsibility that is defined as a sub-factor of ethical responsibility will have such an important place. What is discussed in responsibility discussions commonly is the “human will”. Responsibility is more based on the free will. In th...

Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time

Model checking is a method for the veri cation of systems with respect to their speci cations. Symbolic model-checking, which enables the veri cation of large systems, proceeds by calculating xed-point expressions over the system's set of states. The -calculus is a branching-time temporal logic with xed-point operators. As such, it is a convenient logic for symbolic modelchecking tools. In part...

Public health ethics and clinical freedom.